<?php

class TrimestrePeer extends BaseTrimestrePeer
{
}
